The paper is a study of the logic of existence, negation, and order in the Neoplatonic tradition. The central idea is that Neoplatonists assume a logic in which the existence predicate is a comparative adjective and in which monadic predicates function as scalar adjectives that nest the background order. Various scalar predicate negations are then identifiable with various Neoplatonic negations, including a privative negation appropriate for the lower orders of reality and a hyper-negation appropriate for the higher. Reversion to the (...) One can then be explained as the logical inference of hyper-negations from mundane knowledge. Part I develops the relevant linguistic and logical theory, and Part II defends Wolfson and the scalar interpretation against the more traditional Aristotelian understanding of Whittaker and others of reversion as intensional abstraction. (shrink)

An interpretation in modal and tense logic is proposed for Boethius's reconciliation of God's foreknowledge with human freedom from The consolation of philosophy, Book V. The interpretation incorporates a suggestion by Paul Spade that God's special status in time be explained as a restriction of God's knowledge to eternal sentences. The argument proves valid, and the seeming restriction on omnipotence is mitigated by the very strong expressive power of eternal sentences.

This book shows otherwise. John Martin rehabilitates Neoplatonism, founded by Plotinus and brought into Christianity by St. Augustine.

An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic presupposes converting the (...) tree of genera and species from Plato's diairesis into the Neoplatonic linear hierarchy of Being by use of scalar hyper and privative negations. (shrink)

Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...) the Grundgesetze has a many-valued but classical logic is explained by proving that its propositional fragment (under the standard interpretation) and Bochvar's 3-valued logic are instances of the same metatheoretic methods. Historically, the paper argues for a more naive but well-defined reading of the text. Theoretically, it provides a formally adequate statement of that semantics, as well as developing the abstract metatheory which embraces Bochvar's language and the Fregean fragment. (shrink)

The author addresses the question of the necessity of logic courses in undergraduate education, particularly their use as a requirement in the humanities. This paper outlines why logic counts as a humanities subject and why certain virtues of logic are beneficial to a humanities education. The authors explores these two aspects of the question and invites the reader to decide whether the combination of these two aspects of a logic course jointly satisfy the educational needs of their particular institution’s curriculum.

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based on the medieval notion of objective (...) being, which is essentially the modern notion of intentional content. Indeed, the book's central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea's defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic's metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory. (shrink)

This paper argues that Malebranche’s semantics sheds light on his metaphysics and epistemology, and is of interest in its own right. By recasting issues linguistically, it shows that Malebranche assumes a Neoplatonic semantic structure within Descartes’ dualism and Augustine’s theory of illumination, and employs linguistic devices from the Neoplatonic tradition. Viewed semantically, mental states of illumination stand to God and his ideas as predicates stand in Neoplatonic semantics to ideas ordered by a privative relation on “being.” The framework sheds light (...) on interpretive puzzles in Malebranche studies such as the way ideas reside in God’s mind, the notion of resemblance by which bodies imitate their exemplar causes, and the issue of direct vs. indirect perception through a mechanism by which agents can see bodies by “seeing” ideas. Malebranche’s semantics is of interest in its own right because it gives a full account of the mediating relations that determine indirect reference; lays out a correspondence theory of truth for necessary judgments; defines contingent truth as based on an indirect reference relation that is both descriptive and causal but that does not appeal to body-mind causation; and within his theory of perception, works out an account of singular reference in which singular terms carry existential import, refer indirectly via causal relations, but describe their referents only in a general way. (shrink)

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the truth-conditions do (...) not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)

The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes? truth-conditions for eternal truths, which lack existential import, to all knowledge, allowing only for non-propositional knowledge of contingent existence. Malebranche's rather implausible Neoplatonic semantics is detailed as consisting of three key semantic relations: illumination by which God's (...) ideas cause mental terms, creation by which God's ideas cause material substances by a kind of ?ontic privation?, and sensation in which brain events occasion states of mental awareness. In contrast, Arnauld distinguishes two types of propositions ? necessary and contingent ? with distinct truth-conditions, one with and one without existential import. Arnauld's more modern semantics is laid out as a theory of reference that substitutes earlier causal accounts with one that adapts the medieval notion of objective being. His version anticipates modern notions of intentional content and appeals in its ontology only to substances and their modes. (shrink)

An analysis is proposed for the common argument that something should be preserved because it is irreplaceable. The argument is shown to depend on modal elements in irreplaceable, existence assumptions of preserve, and the logic of obligation. In terms of this theory it is argued that utilitarianism can account for most, but not all instances of persuasive appeals to irreplaceability. Beingessentially backwards looking, utilitarianism cannot in principle justify preservation of objects irreplaceable because of their history or genesis.

The mediaeval logic of Aristotelian privation, represented by Ockham's expositionof All A is non-P as All S is of a type T that is naturally P and no S is P, iscritically evaluated as an account of privative negation. It is argued that there aretwo senses of privative negation: (1) an intensifier (as in subhuman), the dualof Neoplatonic hypernegation (superhuman), which is studied in linguistics asan operator on scalar adjectives, and (2) a (often lexicalized) Boolean complementrelative to the extension of (...) a privative negation in sense (1) (e.g., Brute). Thissecond sense, which is the privative negation discussed in modern linguistics, isshown to be Aristotle's. It is argued that Ockham's exposition fails to capture muchof the logic of Aristotelian privation due to limitations in the expressive power of thesyllogistic. (shrink)

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

The Port Royal Logic Logic or the Art of Thinking, commonly known as The Port Royal Logic, was written by Antoine Arnauld and Pierre Nicole and first published in 1662. Although it was a textbook containing much worked-over material, the Logic was extremely influential, certainly the most important textbook in logic for the next two … Continue reading Port Royal Logic →.

This paper explores the modal interpretation of ?ukasiewicz's n -truth-values, his conditional and the puzzles they generate by exploring his suggestion that by ?necessity? he intends the concept used in traditional philosophy. Scalar adjectives form families with nested extensions over the left and right fields of an ordering relation described by an associated comparative adjective. Associated is a privative negation that reverses the ?rank? of a predicate within the field. If the scalar semantics is interpreted over a totally ordered domain (...) of cardinality n and metric ?, an n-valued Lukasiewicz algebra is definable. Privation is analysed in terms of non-scalar adjectives. Any Boolean algebra of 2 n ?properties? determines an n + 1 valued Lukasiewicz algebra. The Neoplatonic ?hierarchy of Being? is essentially the order presupposed by natural language modal scalars. ?ukasiewicz's ≈ is privative negation, and ? proves to stand for the extensional (antitonic) dual if ? then for scalar adjectives, especially modals. Relations to product logics and frequency interpretations of probability are sketched. (shrink)

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Using concepts from abstract algebra and type theory, I analyze the structural presuppositions of any holistic ethical theory. This study is motivated by such recent holistic theories in environmental ethics as Aldo Leopold’s land ethic, James E. Lovelock’s Gaia hypothesis, Arne Naess’ deep ecology, and various aesthetic ethics of the sublime. I also discuss the holistic and type theoretic assumptions of suchstandard ethical theories as hedonism, natural rights theory, utilitarianism, Rawls’ difference principle, and fascism. I argue that although there are (...) several common senses of part-whole in ethical theory, the central sense of holism in ethics is that of a theory that defines its key moral idea as an emergent group property grounded in the relational properties of its individual constituents. Hedonism and Kantianism do not count as holistic in this sense. Natural rights theory does in adegenerate way. Utilitarianism and various environmental ethics are paradigm examples. I point out as a general structural weakness of environmental holistic theories that their first-order grounding in nonmoral vocabulary seems to preclude an explanation of many moral intuitions about human ethics. (shrink)

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Quarterly publication discussing various topics in environmental ethics, including features, discussion papers, book reviews, editorial commentaries, and other text related to environmental philosophies. Some issues also include announcements and other news related to the environmental studies community.

Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categories and (...) On Interpretation and boethius'S textbook on topical inference. They comprise a freestanding Dialectica (“Logic”; probably c.1116), a set of commentaries (known as the Logica [Ingredientibus], c. 1119) and a later (c. 1125) commentary on the Isagoge (Logica Nostrorum Petititoni Sociorum or Glossulae). In a work Abelard called his Theologia, issued in three main versions (between 1120 and c.1134), he attempted a logical analysis of trinitarian relations and explored the philosophical problems surrounding God's claims to omnipotence and omniscience. The Collationes (“Debates,” also known as “Dialogue between a Christian, a Philosopher and a Jew”; probably c.1130) present a rational investigation into the nature of the highest good, in which the Christian and the Philosopher (who seems to be modeled on a philosopher of pagan antiquity) are remarkably in agreement. The unfinished Scito teipsum (“Know thyself,” also known as the “Ethics”; c.1138) analyses moral action. (shrink)

John Martin Fischer, özgür irade ve determinizm ile ilgili tartışmalarda öne sürülen düşüncelerden biri olan yarı-bağdaşırcılık görüşünün önde gelen isimlerindendir. Ona göre, determinizm kabul edildiğinde özgürce bir seçimde bulunabilmek mümkün olmasa bile, kişiler, eylemlerinden ahlaken sorumlu tutulabilirler. Bu durumda ahlaki sorumluluk için birden fazla seçenekten birini seçebilme, yani başka türlü eylemde bulunabilme imkânı gerekli değildir. Fischer, çevirisini sunduğumuz Sorumluluk ve Kaçınılmazlık adlı makalesinde, kişilerin eylemlerinden, gerçekleştirmedikleri eylemlerden (ihmallerden) ve eylemlerinin veya ihmallerinin sonuçlarından nasıl sorumlu olacaklarını açıklayan bir ahlaki (...) sorumluluk teorisini genel hatlarıyla ortaya koymaktadır. (shrink)

For 50 years, Star Trek has been an inspiration to its fans around the world, helping them to dream of a better future. This inspiration has entered our culture and helped to shape much of the technology of the early 21st Century. The contributors to this volume are researchers and teachers in a wide variety of disciplines; from Astrophysics to Ethnology, from English and History to Medicine and Video Games, and from American Studies to the study of Collective Computing Systems. (...) What the authors have in common is that some version of Star Trek has inspired them, not only in their dreams of what may be, but in the ways in which they work - and teach others to work - here in the real world. Introduced with references to Star Trek films and television shows, and illustrated with original cartoons, each of the 15 chapters included in this volume provides insights into research and teaching in this range of academic fields. (shrink)

This article discusses the 2005 OUP biography of Michael Polanyi by William T. Scott and Martin X. Moleski S.J., Michael Polanyi, Scientist and Philosopher . The discussants are N. E. Wetherick, Brian G Gowenlock, and John Puddefoot; Martin X. Moleski, S. J. briefly responds, providing a previously unpulished letter from Polanyi to Reverend Dr. Knox, a Presbyterian mininster.

Background: Although convolutional neural networks (CNNs) achieve high diagnostic accuracy for detecting Alzheimer’s disease (AD) dementia based on magnetic resonance imaging (MRI) scans, they are not yet applied in clinical routine. One important reason for this is a lack of model comprehensibility. Recently developed visualization methods for deriving CNN relevance maps may help to fill this gap as they allow the visualization of key input image features that drive the decision of the model. We investigated whether models with higher accuracy (...) also rely more on discriminative brain regions predefined by prior knowledge. Methods: We trained a CNN for the detection of AD in N = 663 T1-weighted MRI scans of patients with dementia and amnestic mild cognitive impairment (MCI) and verified the accuracy of the models via cross-validation and in three independent samples including in total N = 1655 cases. We evaluated the association of relevance scores and hippocampus volume to validate the clinical utility of this approach. To improve model comprehensibility, we implemented an interactive visualization of 3D CNN relevance maps, thereby allowing intuitive model inspection. Results: Across the three independent datasets, group separation showed high accuracy for AD dementia versus controls (AUC ≥ 0.91) and moderate accuracy for amnestic MCI versus controls (AUC ≈ 0.74). Relevance maps indicated that hippocampal atrophy was considered the most informative factor for AD detection, with additional contributions from atrophy in other cortical and subcortical regions. Relevance scores within the hippocampus were highly correlated with hippocampal volumes (Pearson’s r ≈ −0.86, p < 0.001). Conclusion: The relevance maps highlighted atrophy in regions that we had hypothesized a priori. This strengthens the comprehensibility of the CNN models, which were trained in a purely data-driven manner based on the scans and diagnosis labels. The high hippocampus relevance scores as well as the high performance achieved in independent samples support the validity of the CNN models in the detection of AD-related MRI abnormalities. The presented data-driven and hypothesis-free CNN modeling approach might provide a useful tool to automatically derive discriminative features for complex diagnostic tasks where clear clinical criteria are still missing, for instance for the differential diagnosis between various types of dementia. (shrink)

The facts concerning the occurrence of superconductivity in R 2- z Ce z CuO 4 and in R 2- z Th z CuO 4 are studied using a combination of simple tools: a hard-sphere model, the self-consistent bond-valence-sum method and Madelung potential calculations. Doping by isolated substitutional Ce should produce Ce 3+ , and not Ce 4+ , causing us to conclude that the dopants are not isolated, but pairs, which make the material p type and not n type. The (...) L = 0 magnetic rare-earth ions Gd and Cm are unsplit pair breakers, unlike the other magnetic rare-earth ions which lead to superconductivity. As the rare-earth ions become smaller, the c -axis length shortens; then the O ions rotate after they come into contact with one another. Eu 1.85 Th 0.15 CuO 4 does not superconduct because quadrivalent Th is too large to fit at the dopant site, but Eu 1.85 Ce 0.15 CuO 4 does superconduct because Ce fits. (shrink)